Bouquet, Fabrice: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Agent-based Spatial Simulation with Netlogo || Introduction to the Agent Approach

Bouquet, Fabrice

Year:

2015

Language:

english

File:

PDF, 663 KB

english, 2015

2

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Identifying and Generating Missing Tests using Machine Learning on Execution Traces

Utting, Mark, Legeard, Bruno, Dadeau, Frederic, Tamagnan, Frederic, Bouquet, Fabrice

Year:

2020

File:

PDF, 205 KB

2020

3

Culture

Cédric Bouquet, Fabrice Gillet

Journal:

Year:

2010

Language:

french

File:

PDF, 3.22 MB

french, 2010

4

[IEEE 2012 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS) - Besancon, France (2012.04.2-2012.04.3)] 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS - Transformation of SysML Structure Diagrams to VHDL-AMS

Bouquet, Fabrice, Gauthier, Jean-Marie, Hammad, Ahmed, Peureux, Fabien

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

5

8.2.1 Automated Test Generation and Execution for Automotive Embedded Software

Bouquet, Fabrice, Lebeau, Franck, Legeard, Bruno

Journal:

INCOSE International Symposium

Year:

2004

Language:

english

File:

PDF, 552 KB

english, 2004

6

Using OBDDs to handle dynamic constraints

Fabrice Bouquet, Philippe Jégou

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

7

CLPS–B – A constraint solver to animate a B specification

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 977 KB

english, 2004

8

Athermal concentration by osmotic evaporation of roselle extract, apple and grape juices and impact on quality

Mady Cissé, Fabrice Vaillant, Sonia Bouquet, Dominique Pallet, Florence Lutin, Max Reynes, Manuel Dornier

Journal:

Innovative Food Science & Emerging Technologies

Year:

2011

Language:

english

File:

PDF, 541 KB

english, 2011

9

[IEEE 2011 Sixth International Conference on Availability, Reliability and Security (ARES) - Vienna, Austria (2011.08.22-2011.08.26)] 2011 Sixth International Conference on Availability, Reliability and Security - Model-Based Security Verification and Testing for Smart-cards

Fourneret, Elizabeta, Ochoa, Martin, Bouquet, Fabrice, Botella, Julien, Jurjens, Jan, Yousefi, Parvaneh

Year:

2011

Language:

english

File:

PDF, 661 KB

english, 2011

10

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Managing Evolution by Orchestrating Requirements and Testing Engineering Processes

Paci, Federica, Massacci, Fabio, Bouquet, Fabrice, Debricon, Stephane

Year:

2012

Language:

english

File:

PDF, 963 KB

english, 2012

11

SysML to UML model transformation for test generation purpose

Lasalle, Jonathan, Bouquet, Fabrice, Legeard, Bruno, Peureux, Fabien

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 448 KB

english, 2011

12

KTN Dielectric Properties at Microwave Frequencies: Substrate Influence

Laur, Vincent, TannÉ, Gérard, Laurent, Paul, Rousseau, Anthony, Bouquet, ValÉrie, Guilloux-Viry, Maryline, Huret, Fabrice

Journal:

Year:

2007

Language:

english

File:

PDF, 370 KB

english, 2007

13

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Assessing the Quality of B Models

de Kermadec, Adrien, Dadeau, Frederic, Bouquet, Fabrice

Year:

2010

Language:

english

File:

PDF, 220 KB

english, 2010

14

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Strategies Comparison of Test Generation from UML Using SMT Solver

Cantenot, Jerome, Ambert, Fabrice, Bouquet, Fabrice

Year:

2013

Language:

english

File:

PDF, 173 KB

english, 2013

15

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience

Botella, Julien, Bouquet, Fabrice, Capuron, Jean-Francois, Lebeau, Franck, Legeard, Bruno, Schadle, Florence

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

16

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Selective Test Generation Method for Evolving Critical Systems

Fourneret, Elizabeta, Bouquet, Fabrice, Dadeau, Frédéric, Debricon, Stéphane

Year:

2011

Language:

english

File:

PDF, 1004 KB

english, 2011

17

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Grammar-Based Testing Using Realistic Domains in PHP

Enderlin, Ivan, Dadeau, Frederic, Giorgetti, Alain, Bouquet, Fabrice

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

18

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - A Constraint Solver for PHP Arrays

Enderlin, Ivan, Giorgetti, Alain, Bouquet, Fabrice

Year:

2013

Language:

english

File:

PDF, 198 KB

english, 2013

19

[IEEE 2007 European Microwave Conference - Munich, Germany (2007.10.9-2007.10.12)] 2007 European Microwave Conference - Reconfigurable circuits for wireless applications using KTN ferroelectrics

Laur, Vincent, Moussavou, Arnaud, Tanne, Gerard, Laurent, Paul, Bouquet, Valerie, Deputier, Stephanie, Guilloux-Viry, Maryline, Huret, Fabrice

Year:

2007

Language:

english

File:

PDF, 262 KB

english, 2007

20

[IEEE 2014 8th IEEE International Conference on Software Security and Reliability (SERE) - San Francisco, California, USA (2014.6.30-2014.7.2)] 2014 Eighth International Conference on Software Security and Reliability - SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Fourneret, Elizabeta, Cantenot, Jerome, Bouquet, Fabrice, Legeard, Bruno, Botella, Julien

Year:

2014

Language:

english

File:

PDF, 580 KB

english, 2014

21

[IEEE 2007 IEEE/MTT-S International Microwave Symposium - Honolulu, HI, USA (2007.06.3-2007.06.8)] 2007 IEEE/MTT-S International Microwave Symposium - Tunable DBR resonators using KTN ferroelectric thin-films

Laur, Vincent, Moussavou, Arnaud, Tanne, Gerard, Laurent, Paul, Bouquet, Valerie, Deputier, Stephanie, Guilloux-Viry, Maryline, Huret, Fabrice

Year:

2007

Language:

english

File:

PDF, 3.14 MB

english, 2007

22

[IEEE 2006 European Microwave Conference - Manchester, UK (2006.09.10-2006.09.15)] 2006 European Microwave Conference - KTN ferroelectric thin-films: Application to the realization of tunable microwave devices

Laur, Vincent, Moussavou, Arnaud, Rousseau, Anthony, Tanne, Gerard, Laurent, Paul, Bouquet, Valerie, Guilloux-Viry, Maryline, Huret, Fabrice

Year:

2006

Language:

english

File:

PDF, 4.06 MB

english, 2006

23

[IEEE 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM) - Besacon (2014.7.8-2014.7.11)] 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics - Modeling and simulation of modular complex system: Application to air-jet conveyor

Gauthier, Jean-Marie, Gendreau, Dominique, Hammad, Ahmed, Bouquet, Fabrice

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

24

Test generation with Satisfiability Modulo Theories solvers in model-based testing

Cantenot, Jérôme, Ambert, Fabrice, Bouquet, Fabrice

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 1.74 MB

english, 2014

25

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Modelling of Complex Systems with AML as Realized in MIRO Project

Chipeaux, Sebastien, Bouquet, Fabrice, Lang, Christophe, Marilleau, Nicolas

Year:

2011

Language:

english

File:

PDF, 352 KB

english, 2011

26

[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.11-2008.05.11)] Proceedings of the 3rd international workshop on Automation of software test - AST '08 - A test generation solution to automate software testing

Bouquet, Fabrice, Grandpierre, Christophe, Legeard, Bruno, Peureux, Fabien

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

27

Automated UML models merging for web services testing

Pretre, Vincent, Kermadec, Adrien De, Bouquet, Fabrice, Lang, Christophe, Dadeau, Frederic

Journal:

International Journal of Web and Grid Services

Year:

2009

Language:

english

File:

PDF, 457 KB

english, 2009

28

[ACM Press the 12th Workshop - Innsbruck, Austria (2012.09.30-2012.09.30)] Proceedings of the 12th Workshop on OCL and Textual Modelling - OCL '12 - Transformation rules from UML4MBT meta-model to SMT meta-model for model animation

Cantenot, Jérôme, Ambert, Fabrice, Bouquet, Fabrice

Year:

2012

Language:

english

File:

PDF, 756 KB

english, 2012

29

Contract-based testing for PHP with Praspel

Dadeau, Frederic, Giorgetti, Alain, Bouquet, Fabrice, Enderlin, Ivan

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 2.15 MB

english, 2017